Acquisition des contraintes ouvertes par apprentissage de solveurs
نویسندگان
چکیده
Résumé : Nous présentons une technique d’apprentissage d’un objet très particulier qui est un solveur de contraintes. Étant donné un sous-ensemble de solutions et un autre sous-ensemble de non-solutions pour une contrainte, nous cherchons une représentation de la contrainte entière sous la forme d’un solveur. Un solveur permet de distinguer les solutions des non-solutions, et ainsi il effectue la tache de classification. Mais il permet également réduire le domaine des variables lors du processus de résolution. Les résultats de tests démontrent la qualité de classification obtenue par l’apprentissage de solveurs, mais aussi l’efficacité de la réduction de domaines. Mots-clés : Contraintes ouvertes ; Apprentissage de solveurs ; Algorithmes de classification.
منابع مشابه
Des Propagateurs Indépendants Des Solveurs *
Cet article présente une extension des indexicals pour décrire des propagateurs de contraintes globales. Ce nouveau langage produit par compilation des propagateurs pour différents solveurs et est indépendant d’un solveur particulier. De plus, nous montrons que cette description de haut niveau aide à prouver certaines propriétés telles que correction et monotonie. Des résultats expérimentaux mo...
متن کاملRéutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne
D’années en années, le succès des approches basées sur SAT dans de nombreux domaines a contribué à la création de solveurs SAT robustes, efficaces, et pensés pour être réutilisables dans des applications tierces. Dans de nombreux cas, ces applications utilisent l’interface incrémentale des prouveurs SAT proposée par Minisat, qui leur permet d’utiliser les solveurs SAT comme des boites noires, c...
متن کاملRecherche coopérative et Nogood Recording
RÉSUMÉ. Dans le cadre du problème de satisfaction de contraintes, nous proposons un nouveau schéma de recherche parallèle coopérative. La coopération est réalisée en échangeant des nogoods (instanciations qui ne peuvent être étendues en une solution). Nous associons un processus à chaque solveur et nous introduisons un gestionnaire de nogoods, afin de réguler les échanges de nogoods. Chaque sol...
متن کاملCHR modulaire avec ask et tell
Dans ce papier, nous introduisons une version modulaire du langage Constraint Handling Rules (CHR), appelé CHRat pour CHR modulaire avec ask et tell. Toute contrainte définie dans un composant CHRat peut être réutilisée à la fois dans les règles et les gardes d’un autre composant CHRat pour définir de nouveaux solveurs de contraintes. Contrairement aux travaux précédents sur la modularité de CH...
متن کاملRésolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres
La mise en œuvre effective de méthodes de vérification de programmes comportant des calculs sur les nombres à virgule flottante reste encore problématique. Cela est en partie dû aux difficultés inhérentes à l’arithmétique des nombres à virgule flottante dont la pauvreté des propriétés rend souvent impossible la transposition de résultats établis sur les réels. C’est pourquoi nous présentons dan...
متن کامل